-
1 proof procedure
Большой англо-русский и русско-английский словарь > proof procedure
-
2 proof procedure
Англо-русский словарь технических терминов > proof procedure
-
3 proof procedure
1) Компьютерная техника: процедура доказательств2) Техника: процедура доказательства3) Математика: метод доказательства4) Макаров: схема доказательства -
4 proof procedure
Англо-русский словарь по компьютерной безопасности > proof procedure
-
5 proof procedure
мат. -
6 proof procedure
English-Russian dictionary of computer science > proof procedure
-
7 proof procedure
Англо-русский словарь по исследованиям и ноу-хау > proof procedure
-
8 Maryland Refutation Proof Procedure System
Electronics: MRPPSУниверсальный русско-английский словарь > Maryland Refutation Proof Procedure System
-
9 procedure
1) мероприятие2) метод; методика4) операция5) компьют. подпрограмма6) процедура, порядок выполнения7) процесс• -
10 procedure
[prəˈsi:dʒə]accounting procedure метод учета деятельности компании accounting procedure процедура анализа хозяйственной деятельности accounting procedure процедура отчетности accusatorial procedure процедура вынесения обвинения administrative procedure административная процедура ancillary procedure вспомогательная процедура appeal procedure процедура апелляции appellate procedure процедура апелляции apportionment procedure процедура распределения attached procedure вчт. присоединенная процедура audit procedure методика проведения ревизии audit procedure процедура ревизии auditing procedure методика проведения ревизии auditing procedure процедура проведения ревизии authentication procedure процедура засвидетельствования подлинности budgetary procedure процедура согласования бюджета built-in procedure вчт. встроенная процедура business procedure метод деловой деятельности call procedure вчт. процедура вызова cataloged procedure вчт. каталогизированная процедура certification procedure аттестация civil procedure гражданский процесс civil procedure гражданское процессуальное право command procedure вчт. командная процедура conciliation procedure процедура примирения contingency procedure процедура исключительности criminal procedure уголовный процесс data-base procedure вчт. процедура базы данных data-handling procedure вчт. процесс обработки данных delphi procedure метод экспертных оценок derogation procedure порядок частичной отмены закона (ЕЭС) disciplinary procedure дисциплинарная процедура election procedure процедура проведения выборов emergency infringement procedure чрезвычайная процедура нарушения estimation procedure процедура оценивания exit procedure вчт. процедура выхода external procedure внешняя процедура extradition procedure процедура выдачи преступника другому государству function procedure вчт. функциональная процедура graphic procedure графический метод graphical procedure графический метод handing over procedure юр. процедура передачи задержанного infringement procedure процедура посягательства inquisitorial procedure процедура расследования inquisitorial procedure следственная процедура judicial procedure судебная процедура least-squares procedure метод наименьших квадратов legal procedure судебный процесс legal procedure судопроизводство legislative procedure законодательная процедура lending procedure процедура кредитования library procedure вчт. библиотечная процедура litigation procedure процедура судебного разбирательства loan application procedure процедура рассмотрения заявки на получение ссуды logoff procedure вчт. процедура выхода из системы logon procedure вчт. процедура входа в систему matrix procedure матричная процедура maximum-likelihood procedure метод максимального правдоподобия notification procedure процедура уведомления numeric procedure численный метод numeric procedures численные методы numerical procedure численный метод numerical procedure числовой метод numerical procedures численные методы office procedure порядок работы учреждения optimization procedure метод оптимизации oral procedure устное судопроизводство patent procedure процедура выдачи патентов point-and-click procedure вчт. ввод данных с помощью устройства типа мыши pre-trial procedure совещание суда с адвокатами сторон (процедура, непосредственно предшествующая рассмотрению в судебном заседании дела по существу) private criminal procedure закрытый уголовный процесс procedure вчт. алгоритм procedure метод проведения procedure вчт. методика procedure методика procedure методика проведения (опыта, анализа) procedure образ действия procedure порядок procedure производство дел procedure юр., парл. процедура procedure вчт. процедура, подпрограмма procedure процедура procedure процесс procedure процессуальные нормы procedure судопроизводство procedure технологический процесс procedure технологический процесс procedure for compulsory purchase судопроизводство по принудительному отчуждению promulgation procedure процедура промульгации proof procedure процедура доказательств randomized procedure рандомизированная процедура ratification procedure процедура ратификации reconciliation procedure процедура согласования recovery procedure вчт. процедура восстановления recursive procedure вчт. рекурсивная процедура reenterable procedure вчт. повторно используемая процедура refutation procedure процедура опровержения registration procedure процедура оформления registration procedure процедура регистрации reporting procedure процедура отчетности sampling procedure stat. процедура выборочного контроля sampling procedure stat. процедура отбора simplex procedure симплексный метод simulation procedure методика моделирования standardized procedure стандартная методика summary contentious procedure упрощенная процедура разрешения споров summary procedure суммарное судопроизводство summary procedure упрощенное судопроизводство test procedure методика испытаний trade procedure способ торговли updating procedure вчт. процедура уточнения данных verbal procedure устное производство voting procedure процедура голосования vouching procedure процедура поручительства written procedure письменная процедура -
11 procedure
2) порядок (действий); установленная схема3) метод; методика4) алгоритм5) правила; технология ( технического обслуживания)•-
dry turn bushing procedure
-
wet turn bushing procedure
-
acceptance procedure
-
aerodrome alerting procedure
-
approach procedure
-
approved flight procedure
-
attached procedure
-
aviation company procedure
-
backstep procedure
-
bargaining procedure
-
batch procedure
-
bootstrap procedure
-
calibration procedure
-
cataloged procedure
-
checking procedure
-
combustion procedure
-
command procedure
-
comparison procedure
-
computational procedure
-
computerized production-control procedure
-
crew operating procedure
-
cross-weave procedure
-
diagnostic procedure
-
disassembly procedure
-
docking procedure
-
embedded procedures
-
emergency flight procedure
-
established procedure
-
experimental procedure
-
external procedure
-
flight procedure
-
flight training procedure
-
flood-routing procedure
-
function procedure
-
generic procedure
-
go-no-go gaging procedure
-
ground training procedure
-
holding procedure
-
initialization procedure
-
in-line procedure
-
instrument approach procedure
-
internal procedure
-
iteration procedure
-
ladle degassing procedure
-
landing procedure
-
measuring procedure
-
missed approach procedure
-
nested procedures
-
noise abatement procedure
-
observational procedure
-
off-machine degassing procedure
-
on-machine continuous degassing procedure
-
orient procedure
-
precision approach procedure
-
proof procedure
-
racetrack procedure
-
reciprocity procedure
-
recursive procedure
-
reservoir-routing procedure
-
reversal procedure
-
sample procedure
-
service procedure
-
setting-up procedures
-
standardized procedure
-
starting procedure
-
streamflow-routing procedure
-
tank usage procedure
-
test procedure
-
tool compensation procedure
-
tool select procedure
-
unloading procedure
-
update procedure
-
user-supplied procedure
-
user procedure
-
vertical weave procedure -
12 procedure
процедура; образ действияАнгло-русский словарь по компьютерной безопасности > procedure
-
13 procedure
prəˈsi:dʒə сущ.
1) а) образ действия;
порядок осуществления действия;
процедура to establish a procedure ≈ определить/установить порядок проведения чего-л. to follow a procedure ≈ придерживаться определенной процедуры You can't just do it however you like - you must follow procedure. ≈ Ты не можешь просто делать это, как тебе захочется, ты должен следовать процедуре. б) методика, метод( проведения опыта, анализа) testing procedure ≈ метод испытаний
2) процесс, операция;
технологический процесс normal, proper, regular, standard procedure ≈ обычная/стандартная процедура surgical procedure ≈ хирургическое вмешательство
3) мероприятие pre-starting procedure ≈ подготовка к работе;
подготовительное мероприятие
4) юр.;
парл. процедура parliamentary procedures ≈ процедура/порядок проведения заседаний в Парламенте Syn: method
5) компьют. процедура, подпрограмма procedure-oriented ≈ процедурно-ориентированный, процедурный процедура - usual * обычная процедура - rules /order/ of * правила процедуры (юридическое) судебное производство - civil * гражданское судопроизводство - Rules of P. устав судопроизводства, свод процессуальных норм (техническое) операция;
процедура;
порядок действия - * declaration( компьютерное) описание процедуры технологический процесс методика, приемы проведения (опыта и т. п.) accounting ~ метод учета деятельности компании accounting ~ процедура анализа хозяйственной деятельности accounting ~ процедура отчетности accusatorial ~ процедура вынесения обвинения administrative ~ административная процедура ancillary ~ вспомогательная процедура appeal ~ процедура апелляции appellate ~ процедура апелляции apportionment ~ процедура распределения attached ~ вчт. присоединенная процедура audit ~ методика проведения ревизии audit ~ процедура ревизии auditing ~ методика проведения ревизии auditing ~ процедура проведения ревизии authentication ~ процедура засвидетельствования подлинности budgetary ~ процедура согласования бюджета built-in ~ вчт. встроенная процедура business ~ метод деловой деятельности call ~ вчт. процедура вызова cataloged ~ вчт. каталогизированная процедура certification ~ аттестация civil ~ гражданский процесс civil ~ гражданское процессуальное право command ~ вчт. командная процедура conciliation ~ процедура примирения contingency ~ процедура исключительности criminal ~ уголовный процесс data-base ~ вчт. процедура базы данных data-handling ~ вчт. процесс обработки данных delphi ~ метод экспертных оценок derogation ~ порядок частичной отмены закона (ЕЭС) disciplinary ~ дисциплинарная процедура election ~ процедура проведения выборов emergency infringement ~ чрезвычайная процедура нарушения estimation ~ процедура оценивания exit ~ вчт. процедура выхода external ~ внешняя процедура extradition ~ процедура выдачи преступника другому государству function ~ вчт. функциональная процедура graphic ~ графический метод graphical ~ графический метод handing over ~ юр. процедура передачи задержанного infringement ~ процедура посягательства inquisitorial ~ процедура расследования inquisitorial ~ следственная процедура judicial ~ судебная процедура least-squares ~ метод наименьших квадратов legal ~ судебный процесс legal ~ судопроизводство legislative ~ законодательная процедура lending ~ процедура кредитования library ~ вчт. библиотечная процедура litigation ~ процедура судебного разбирательства loan application ~ процедура рассмотрения заявки на получение ссуды logoff ~ вчт. процедура выхода из системы logon ~ вчт. процедура входа в систему matrix ~ матричная процедура maximum-likelihood ~ метод максимального правдоподобия notification ~ процедура уведомления numeric ~ численный метод numeric ~s численные методы numerical ~ численный метод numerical ~ числовой метод numerical ~s численные методы office ~ порядок работы учреждения optimization ~ метод оптимизации oral ~ устное судопроизводство patent ~ процедура выдачи патентов point-and-click ~ вчт. ввод данных с помощью устройства типа мыши pre-trial ~ совещание суда с адвокатами сторон( процедура, непосредственно предшествующая рассмотрению в судебном заседании дела по существу) private criminal ~ закрытый уголовный процесс procedure вчт. алгоритм ~ метод проведения ~ вчт. методика ~ методика ~ методика проведения (опыта, анализа) ~ образ действия ~ порядок ~ производство дел ~ юр., парл. процедура ~ вчт. процедура, подпрограмма ~ процедура ~ процесс ~ процессуальные нормы ~ судопроизводство ~ технологический процесс ~ технологический процесс ~ for compulsory purchase судопроизводство по принудительному отчуждению promulgation ~ процедура промульгации proof ~ процедура доказательств randomized ~ рандомизированная процедура ratification ~ процедура ратификации reconciliation ~ процедура согласования recovery ~ вчт. процедура восстановления recursive ~ вчт. рекурсивная процедура reenterable ~ вчт. повторно используемая процедура refutation ~ процедура опровержения registration ~ процедура оформления registration ~ процедура регистрации reporting ~ процедура отчетности sampling ~ stat. процедура выборочного контроля sampling ~ stat. процедура отбора simplex ~ симплексный метод simulation ~ методика моделирования standardized ~ стандартная методика summary contentious ~ упрощенная процедура разрешения споров summary ~ суммарное судопроизводство summary ~ упрощенное судопроизводство test ~ методика испытаний trade ~ способ торговли updating ~ вчт. процедура уточнения данных verbal ~ устное производство voting ~ процедура голосования vouching ~ процедура поручительства written ~ письменная процедураБольшой англо-русский и русско-английский словарь > procedure
-
14 процедура доказательства
Большой англо-русский и русско-английский словарь > процедура доказательства
-
15 процедура доказательства
Англо-русский словарь технических терминов > процедура доказательства
-
16 процедура доказательства
Русско-английский политехнический словарь > процедура доказательства
-
17 метод доказательства
1) Mathematics: method of proof, proof method, proof procedure, proof technique2) Information technology: validation procedure3) Advertising: proving method4) Makarov: validationУниверсальный русско-английский словарь > метод доказательства
-
18 метод доказательства
Большой англо-русский и русско-английский словарь > метод доказательства
-
19 метод доказательства
method of proof мат., proof method, proof procedure, proof techniqueРусско-английский научно-технический словарь Масловского > метод доказательства
-
20 схема доказательства
1) Mathematics: demonstration scheme, proof scheme, scheme of proof2) Makarov: proof procedureУниверсальный русско-английский словарь > схема доказательства
См. также в других словарях:
Proof procedure — In logic, and in particular proof theory, a proof procedure for a given logic is a systematic method for producing proofs in some proof calculus of (provable) statements.There are several types of proof calculi. The most popular are natural… … Wikipedia
proof procedure — procedure de prevue (франц.) = Beweisverfahren (нем.) процедура заслушивания и оценки доказательств. Обычно включает в себя представление документов и письменных заявлений сторон (brief). В ходе устных слушаний (hearing) опрашиваются свидетели… … Glossary of international commercial arbitration
Proof — • The establishment of a disputed or controverted matter by lawful means or arguments. Catholic Encyclopedia. Kevin Knight. 2006. Proof Proof … Catholic encyclopedia
proof before answer — in Scots procedure, the hearing of the facts of the case before legal arguments are disposed of. Such a procedure is common in cases of negligence where, because liability often depends on the facts of a case, the legal question of liability… … Law dictionary
Proof complexity — In computer science, proof complexity is a measure of efficiency of automated theorem proving methods that is based on the size of the proofs they produce. The methods for proving contradiction in propositional logic are the most analyzed. The… … Wikipedia
Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… … Wikipedia
proof — I (New American Roget s College Thesaurus) n. evidence, substantiation, verification, confirmation; conclusiveness; corroboration, ratification; trial, test; sample, impression. See demonstration, experiment. adj. impenetrable, impervious;… … English dictionary for students
proof — Informally, a procedure that brings conviction. More formally, a deductively valid argument starting from true premises, that yields the conclusion. Most formally, in proof theory, a proof is a sequence of formulae of which each member is either… … Philosophy dictionary
Proof Of Deposit - POD — The verification that the dollar amount of a check or draft being deposited is correct. Proof of deposit is accomplished when the amount written on the check is compared to the amount on the deposit slip. This is the second step in the process of … Investment dictionary
Procedure (conflict) — In all lawsuits involving Conflict of Laws, questions of procedure as opposed to substance are always determined by the lex fori , i.e. the law of the state in which the case is being litigated.What issues are procedural?This is a part of the… … Wikipedia
Criminal Procedure Act 1865 — The Criminal Procedure Act 1865[1] Parliament of the United Kingdom Long title An Act for amending the Law of Evidence and Practice on Criminal Trials … Wikipedia